Buy Used and New Dirk Beyer Books

Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science, 108)

by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar

ISBN 13: 9780387716039

Format: Hardcover (275 pages)
Publisher: Springer
Published: 16 Oct 2009

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Markovian Demand Inventory Models: 108 (International Series in Operations Research & Management Science)

by Dirk Beyer,Feng Cheng,Suresh P. Sethi,Michael Taksar

ISBN 13: 9781461424666

Format: Paperback (276 pages)
Publisher: Springer
Published: 25 Feb 2012

Save for later

Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science)

by Dirk Beyer,Michele Boreale

ISBN 13: 9783642385919

Format: Paperback (336 pages)
Publisher: Springer
Published: 16 May 2013

Save for later

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... 11823 (Lecture Notes in Computer Science)

by Dirk Beyer, Chantal Keller

ISBN 13: 9783030311568

Format: Paperback (220 pages)
Publisher: Springer
Published: 11 Sep 2019

Save for later

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990)

by Dirk Beyer,Damien Zufferey

ISBN 13: 9783030393212

Format: Paperback (485 pages)
Publisher: Springer
Published: 07 Feb 2020

Save for later